1

ITERATIVE DEVICES GENERATING INFINITE WORDS

CULIK II, KAREL, KARHUMÄKI, JUHANI
Journal:
International Journal of Foundations of Computer Science
Year:
1994
Language:
english
File:
PDF, 1.05 MB
english, 1994
2

On infinite words obtained by iterating morphisms

Karel Culik II, Arto Salomaa
Journal:
Theoretical Computer Science
Year:
1982
Language:
english
File:
PDF, 725 KB
english, 1982
3

Properties of Finite and Pushdown Transducers

Choffrut, Christian, Culik II, Karel
Journal:
SIAM Journal on Computing
Year:
1983
Language:
english
File:
PDF, 1.80 MB
english, 1983
4

Finite Automata Computing Real Functions

Culik, II, Karel, Karhumäki, Juhani
Journal:
SIAM Journal on Computing
Year:
1994
Language:
english
File:
PDF, 2.22 MB
english, 1994
5

Equivalence problems for mappings on infinite strings

Karel Culik II, Jan K. Pachl
Journal:
Information and Control
Year:
1981
Language:
english
File:
PDF, 475 KB
english, 1981
6

Test sets and checking words for homomorphism equivalence

Karel Culik II, Arto Salomaa
Journal:
Journal of Computer and System Sciences
Year:
1980
Language:
english
File:
PDF, 886 KB
english, 1980
7

Splicing semigroups of dominoes and DNA

Karel Culik II, Tero Harju
Journal:
Discrete Applied Mathematics
Year:
1991
Language:
english
File:
PDF, 891 KB
english, 1991
8

A note on some tree similarity measures

Karel Culik II, Derick Wood
Journal:
Information Processing Letters
Year:
1982
Language:
english
File:
PDF, 448 KB
english, 1982
9

Image-data compression using edge-optimizing algorithm for WFA inference

Karel Culik II, Jarkko Kari
Journal:
Information Processing & Management
Year:
1994
Language:
english
File:
PDF, 1.79 MB
english, 1994
10

On the Limit Sets of Cellular Automata

Culik II, Karel, Pachl, Jan, Yu, Sheng
Journal:
SIAM Journal on Computing
Year:
1989
Language:
english
File:
PDF, 1.22 MB
english, 1989
13

Systolic tree acceptors

Culik, Karel Ii, Salomaa, Arto, Wood, Derick
Journal:
RAIRO. Informatique théorique
Year:
1984
Language:
english
File:
PDF, 1.39 MB
english, 1984
14

Systems of equations over a free monoid and Ehrenfeucht's conjecture

Karel Culik II, Juhani Karhumäki
Journal:
Discrete Mathematics
Year:
1983
Language:
english
File:
PDF, 1.52 MB
english, 1983
15

A homomorphic characterization of regular languages

Karel Culik II, Faith E. Fich, Arto Salomaa
Journal:
Discrete Applied Mathematics
Year:
1982
Language:
english
File:
PDF, 185 KB
english, 1982
16

On extendibility of unavoidable sets

Christian Choffrut, Karel Culik II
Journal:
Discrete Applied Mathematics
Year:
1984
Language:
english
File:
PDF, 744 KB
english, 1984
17

Cellular automata, ωω-regular sets, and sofic systems

Karel Culik II, Sheng Yu
Journal:
Discrete Applied Mathematics
Year:
1991
Language:
english
File:
PDF, 1.10 MB
english, 1991
18

Rational and affine expressions for image description

Karel Culik II, Simant Dube
Journal:
Discrete Applied Mathematics
Year:
1993
Language:
english
File:
PDF, 1.35 MB
english, 1993
19

Weighted finite transducers in image processing

Karel Culik II, Ivan Friš
Journal:
Discrete Applied Mathematics
Year:
1995
Language:
english
File:
PDF, 940 KB
english, 1995
20

Dominoes over a free monoid

Karel Culik II, Tero Harju
Journal:
Theoretical Computer Science
Year:
1982
Language:
english
File:
PDF, 2.06 MB
english, 1982
21

Iterative tree automata

Karel Culik II, Sheng Yu
Journal:
Theoretical Computer Science
Year:
1984
Language:
english
File:
PDF, 2.06 MB
english, 1984
22

Topological transformations as a tool in the design of systolic networks

Karel Culik II, Ivan Fris
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.85 MB
english, 1985
24

New techniques for proving the decidability of equivalence problems

Karel Culik II
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.20 MB
english, 1990
25

An efficient solution of the firing mob problem

Karel Culik II, Simant Dube
Journal:
Theoretical Computer Science
Year:
1991
Language:
english
File:
PDF, 871 KB
english, 1991
26

The power of totalistic cellular automata and totalistic systolic networks

Karel Culik II
Journal:
Mathematical and Computer Modelling
Year:
1988
Language:
english
File:
PDF, 260 KB
english, 1988
27

The emptiness problem for CA limit sets

Karel Culik II, Sheng Yu
Journal:
Mathematical and Computer Modelling
Year:
1988
Language:
english
File:
PDF, 362 KB
english, 1988
28

An aperiodic set of 13 Wang tiles

Karel Culik II
Journal:
Discrete Mathematics
Year:
1996
Language:
english
File:
PDF, 268 KB
english, 1996
29

Abstract families of relations

Karel Čulík II
Journal:
Journal of Computer and System Sciences
Year:
1971
Language:
english
File:
PDF, 517 KB
english, 1971
30

LR-regular grammars—an extension of LR(k) grammars

Karel Čulik II, Rina Cohen
Journal:
Journal of Computer and System Sciences
Year:
1973
Language:
english
File:
PDF, 1.48 MB
english, 1973
31

Computational fractal geometry with WFA

Karel Culik II, Jarkko Kari
Journal:
Acta Informatica
Year:
1997
Language:
english
File:
PDF, 252 KB
english, 1997
32

Implementing Daubechies wavelet transform with weighted finite automata

Karel Culik II., Simant Dube
Journal:
Acta Informatica
Year:
1997
Language:
english
File:
PDF, 338 KB
english, 1997
33

Parametrized recurrent systems for image generation

Karel Culik II, Jarkko Kari
Journal:
Information Processing Letters
Year:
1993
Language:
english
File:
PDF, 299 KB
english, 1993
34

Speed-varying ol systems

Karel Culik II, Derick Wood
Journal:
Information Sciences
Year:
1978
Language:
english
File:
PDF, 467 KB
english, 1978
35

Real-time, pseudo real-time, and linear-time ITA

Karel Culik II, Sheng Yu
Journal:
Theoretical Computer Science
Year:
1986
Language:
english
File:
PDF, 686 KB
english, 1986
36

Affine automata and related techniques for generation of complex images

Karel Culik II, Simant Dube
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 1.89 MB
english, 1993
37

The decidability of υ-local catenativity and of other properties of DOL systems

Karel Culik II
Journal:
Information Processing Letters
Year:
1978
Language:
english
File:
PDF, 474 KB
english, 1978
38

A note on the equivalence problem of rational formal power series

Karel Culik II, Juhani Karhumäki
Journal:
Information Processing Letters
Year:
1986
Language:
english
File:
PDF, 202 KB
english, 1986
39

On totalistic systolic networks

Karel Culik II, Juhani Karhumäki
Journal:
Information Processing Letters
Year:
1988
Language:
english
File:
PDF, 690 KB
english, 1988
40

Variations of the firing squad problem and applications

Karel Culik II
Journal:
Information Processing Letters
Year:
1989
Language:
english
File:
PDF, 572 KB
english, 1989
41

A mathematical investigation of propagating graph 0L systems

Karel Culik II, Derick Wood
Journal:
Information and Control
Year:
1979
Language:
english
File:
PDF, 1.27 MB
english, 1979
42

Interactive L systems with almost interactionless behaviour

Karel Culik II, J. Karhumäki
Journal:
Information and Control
Year:
1979
Language:
english
File:
PDF, 756 KB
english, 1979
43

A note on recurrent words

Karel Culik II, Derick Wood
Journal:
Information and Control
Year:
1981
Language:
english
File:
PDF, 258 KB
english, 1981
44

Ambiguity and decision problems concerning number systems

Karel Culik II, Arto Salomaa
Journal:
Information and Control
Year:
1983
Language:
english
File:
PDF, 700 KB
english, 1983
45

Finite automata based compression of bi-level and simple color images

Karel Culik II, Vladimir Valenta
Journal:
Computers & Graphics
Year:
1997
Language:
english
File:
PDF, 1.02 MB
english, 1997
47

Iterative weighted finite transductions

Karel Culik II, Peter Rajčáni
Journal:
Acta Informatica
Year:
1995
Language:
english
File:
PDF, 1.04 MB
english, 1995
48

Systolic tree acceptors

Culik, Karel Ii, Salomaa, Arto, Wood, Derick
Journal:
RAIRO. Informatique théorique
Year:
1984
File:
PDF, 1.39 MB
1984